A type-based framework for locating errors in constraint logic programs

Författare
Linköpings universitet Paweł Pietrzak
(Paweł Pietrzak., Sammanfattning jämte 5 uppsatser, Diss. Linköping : Linköpings universitet, 2002)
Genre
Avhandlingar, theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Department of Computer and Information Science, Linköpings universitet 2002 Sverige, Linköping xii, 211 sidor. ill.